From 7d367a89521eac27da1a120d3c60708d2be51d5b Mon Sep 17 00:00:00 2001 From: =?utf8?q?=D0=A0=D1=83=D1=81=D0=BB=D0=B0=D0=BD=20=D0=98=D0=B6=D0=B1?= =?utf8?q?=D1=83=D0=BB=D0=B0=D1=82=D0=BE=D0=B2?= Date: Tue, 25 Mar 2014 17:47:08 +0000 Subject: [PATCH] W32: Fix menu item size and submenu arrow size https://bugzilla.gnome.org/show_bug.cgi?id=727037 --- gtk/resources/theme/gtk-win32-base.css | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/gtk/resources/theme/gtk-win32-base.css b/gtk/resources/theme/gtk-win32-base.css index f9b4834c6e..6d7d400cbd 100644 --- a/gtk/resources/theme/gtk-win32-base.css +++ b/gtk/resources/theme/gtk-win32-base.css @@ -925,6 +925,17 @@ GtkSwitch.trough:active { padding: 3px 5px; } +/* Add more padding to menus, increasing visible height of each menuitem */ +.menu * { + padding: 2px; +} + +/* Make arrows a bit smaller to fit better into W32 theme + FIXME: they still have the wrong style though - angle instead of a filled triangle */ +GtkMenuItem { + -GtkMenuItem-arrow-scaling: 0.5; +} + /* Assistant */ GtkAssistant .sidebar .highlight { -- 2.30.2